منابع مشابه
Universit at Augsburg Further Studies on Timed Testing of Concurrent Systems Further Studies on Timed Testing of Concurrent Systems
The setting of Vog95] is extended in three aspects: i) semantic equivalences are replaced by preorders, yielding implementation-speciication-relations, ii) discrete time is generalized to continuous time and iii) the three variants of timed behaviour (liberal, mixed and strict) are completed by thèdual' of mixed behaviour. As main results we derive: i) if a strictly timed system performs in bot...
متن کاملFurther Studies upon Anaphylaxis
the following points: A.?The incubation period of anaphylaxis, and its variations according as the injections of serum are made into the brain or otherwise, and according to the quantity of serum injected. B.?The results of treatment thermal and other of the injected serum, upon the production of supersensitiveness, and upon tlie toxicit}' of the serum. C.? The specificity of the anaphylactics....
متن کامل5 Further Studies
Kotzig, A. S uvislost' a pravidelnn a s uvislost' kone cn yh grafov. maintenance of the four-connected components of a graph. Proc. A fast algorithm for optimally increasing the edge-connectivity. Figure 9: A 4-edge-connected graph and 3-edge{cuts in its 3-vertex-components for incremental maintenance of this structure is suggested. No general l-cuts description, l k + 1, is known. To item 4. T...
متن کاملFurther studies on polyribophosphate.
In previous reports (2, 3) it has been demonstrated that the type-specific substance of Hernophilus injluenzae, type b, is a polymer of ribose and phosphate, i.e. a polyribophosphate. Similar to ribonucleie acid, PRPI consists of a long chain of ribose units connected by 3,5-phosphate diester linkages. However, instead of a purine or pyrimidine on carbon 1 of ribose, as is the case in ribonucle...
متن کاملFurther Studies on Sympathetic
A second investigation into sympathetic detonation of ammonium nitrate (AN) and ammonium nitrate-fuel oil (ANFO) was conducted to define the scaling law for safe separation from detonating ANFO. Both missileand non-missile-producing ANFO donors weighing up to 5,400 pounds were employed with equal sizedacceptors. The usual cube root scaling law was not confirmed; exponents for the relationship S...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Geology
سال: 1917
ISSN: 0022-1376,1537-5269
DOI: 10.1086/622534